#include <types.h>
#include <subprograms.h>
void user_ping_spg 
      (simple_type data_sink);
/**************/
/* ping_spg */ 
/**************/

void ping_spg 
      (simple_type data_sink)
{

   user_ping_spg(data_sink);
}


